@MastersThesis{Ambrosio:1988:SiExEs,
               author = "Ambrosio, Ana Maria",
                title = "Um sistema para execu{\c{c}}{\~a}o de especifica{\c{c}}{\~o}es 
                         JSD",
               school = "Instituto Nacional de Pesquisas Espaciais (INPE)",
                 year = "1988",
              address = "S{\~a}o Jos{\'e} dos Campos",
                month = "1988-06-08",
             keywords = "modelo operacional, especifica{\c{c}}{\~a}o execut{\'a}vel, 
                         m{\'e}todo JSD, especifica{\c{c}}{\~a}o de requisito de 
                         software, software requiremenht specification, operating model, 
                         executable specification, (JSD) method, Jackson System 
                         Development.",
             abstract = "Modelos operacionais para desenvolvimento de software foram 
                         propostos como uma alternativa aos modelos convencionais 
                         (espec{\'{\i}}fica, projeta e implementa). Um dos 
                         princ{\'{\i}}pios b{\'a}sicos dos modelos operacionais {\'e} 
                         que e poss{\'{\i}}vel executar diretamente a 
                         especifica{\c{c}}{\~a}o de requisitos de software. Neste 
                         trabalho, o m{\'e}todo CTSD ({"}Jackson System Development{"}) e 
                         considerado como um modelo operacional e, para tanto, uma 
                         linguagem e um esquema s{\~a}o propostos que possibilitem a 
                         execu{\c{c}}{\~a}o de especifica JSD. {\'E}, tamb{\'e}m, 
                         implementado um sistema que analisa especifica e permite que elas 
                         sejam executadas. ABSTRACT: The operational approach for software 
                         development was suggested as an alternative to the conventional 
                         approach (specify, project and implement). One of the basic 
                         principles of the operational approach is the direct execution of 
                         the software requirements specification. In this work, the JSD 
                         approach ({"}Jackson System Development{"}) is considered as an 
                         operational approach and, as such, a language and a scheme are 
                         proposed that make possible the execution of JSD specifications. 
                         It is also implemented a system that analyzes specifications and 
                         allows their execution.",
            committee = "Dias, Luiz Alberto Vieira (presidente) and Velasco, Fl{\'a}vio 
                         Roberto Dias (orientador) and Jino, M{\'a}rio and Simoni, Paulo 
                         Ouvera",
           copyholder = "SID/SCD",
         englishtitle = "A system for executing JSD specifications",
             language = "pt",
                pages = "207",
                  ibi = "8JMKD3MGP8W/352SB45",
                  url = "http://urlib.net/ibi/8JMKD3MGP8W/352SB45",
           targetfile = "publicacao.pdf",
        urlaccessdate = "06 maio 2024"
}